On the specification of software adaptation
نویسندگان
چکیده
The problem of adapting heterogeneous software components that present mismatching interaction behaviours is one of the crucial problems in Component-Based Software Engineering. The aim of this paper is to contribute to setting a theoretical foundation for software adaptation. A formal analysis of adaptor specifications is presented, and their usage to feature different forms of flexible adaptations is illustrated.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملعنوان: Effect of care plan based on Roy adaptation model on physiological adaptation in patients with thalassemia major
چکیده: Background: Patients with thalassemia major are faced with many physical and physiological problems, reducing the adaptation level of this population. Given the fact that the use of nursing theories, especially the adaptation model developed by Roy, play an effective role in turning incompatible behaviors into adaptive ones, this study aimed to determine the effect of Roy adaptation mod...
متن کاملآزمون خودکار نرم‌افزارهای شی‌گرا با استفاده از موردهای کاربری و ضوابط OCL
Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...
متن کاملA Study on the Role of Self-Esteem and Self-Effectiveness for the Relation between Islamic Life Style and Social Adaptation among the Youth in Mashhad
This paper tries to study the role of self-esteem and self-effectiveness for the relation between Islamic life style and social adaptation among the youth in Mashhad. The data was gathered from the questionnaire about 235 young people. Two different questionnaires were used for gathering data. By lisrel and SPSS software, the data were analyzed. Statistical tests like factor analysis show that...
متن کاملInteractive specification and verification of behavioral adaptation contracts
Context: Adaptation is a crucial issue when building new applications by reusing existing software services which were not initially designed to interoperate with each other. Adaptation contracts describe composition constraints and adaptation requirements among these services. The writing of this specification by a designer is a difficult and error-prone task, especially when interaction proto...
متن کاملMeasuring Component Adaptation
Adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. The process of component adaptation can be synthesized by a transformation from an initial specification (of the requested adaptation) to a revised specification (expressing the actual adaptation that will be featured by the deployed a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 97 شماره
صفحات -
تاریخ انتشار 2004